<?php
	echo $cart_quantity;
?>